type IIntf = Interface;